td {font-family:monospace; font-size:x-small}
td.leftHistory {color:blue}
td.rightHistory {color:blue}
td.leftDiff {color:red}
td.rightDiff {color:red}
